Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
341	The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2002-01-03 19:01:27 Software engineering Computer programming Computing Constraint satisfaction Constraint logic programming Simplex algorithm Slack variable Linear programming Cassowary Constraint programming Mathematical optimization Operations research
342	A User’s Guide to Picat Version 0.3 Neng-Fa Zhou and Jonathan Fruhman c Add to Reading List Source URL: picat-lang.org Language: English - Date: 2014-05-26 11:54:30 Programming paradigms Constraint programming Prolog Logic programming Scripting languages Functional programming List comprehension Memoization Subroutine Software engineering Computer programming Computing
343	Higher-Order Constraint Simplification In Dependent Type Theory Jason Reed ∗ Carnegie Mellon University Pittsburgh, USA [removed] Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:20 Logic programming Unification Admissible rule Mathematics Substitution of variables Symbol Mathematical logic Automated theorem proving Logic
344	JFP 19 (6): 663–697, [removed]c Cambridge University Press 2009 663 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-05 10:42:24 Constraint programming Numerical software Programming paradigms Logic programming Solver Constraint logic programming ECLiPSe Lis Comet Declarative programming Software engineering Computer programming
345	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
346	My First Look At Picat as a Modeling Language for Constraint Solving and Planning Håkan Kjellerstrand1 1. Independent Researcher, Malmoe, Sweden E-mail: [removed] Abstract: Picat is a new and interesting programm Add to Reading List Source URL: picat-lang.org Language: English - Date: 2014-05-24 19:02:38 Constraint programming Programming paradigms Logic programming Operations research B-Prolog Prolog Functional programming List comprehension Append Software engineering Computing Computer programming
347	A hybrid approach to staff scheduling: The Staff Work Allocation Tool (SWAT) Graham Winstanley Abstract Assigning nursing staff to specific duties according to their contract, qualifications, skills, Add to Reading List Source URL: www.cem.brighton.ac.uk Language: English - Date: 2003-03-24 06:32:38 Computer programming Constraint satisfaction Nurse scheduling problem Constraint logic programming Mathematical optimization Hybrid algorithm ECLiPSe Constraint programming Declarative programming Software engineering
348	A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15 Programming language theory Constraint programming Data types Polymorphism Logic programming Type system Subtype polymorphism Type inference Unification Type theory Software engineering Mathematics
349	Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 13:48:28 Constraint programming Boolean algebra Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem DPLL algorithm Satz Solver Theoretical computer science Applied mathematics Mathematics
350	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science Constraint programming Automated theorem proving

UPDATE